﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

namespace Infinity.Statements.StatementFactory
{
	public class PostConditionStatement : ContractStatement, IPostConditionStatement
	{
	}
}